1. Formal methods and hybrid real-time systems
پدیدآورنده : Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses
رده :
QA
،
76
.
9
،.
F67
,
F525
،
2007
2. Formal methods and hybrid real-time systems
پدیدآورنده : / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Bj�rner, D.--(Dines),--1937,Chaochen, Zhou.,Formal methods (Computer science)--Congresses,Real-time data processing--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F525
,
2007
3. Theoretical aspects of computing
پدیدآورنده : / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electronic data processing--Congresses,Information theory--Congresses
رده :
QA
,
75
.
5
,.
I135
,
2007
